NUREG/CR-6848, "Preliminary Validation of a Methodology for Assessing Software Quality"
نویسندگان
چکیده
This report summarizes the results of research conducted by the University of Maryland to validate a method for predicting software quality. The method is termed the Reliability Prediction System (RePS). The RePS methodology was initially presented in NUREG/GR-001 9. The current effort is a preliminary validation of the RePS methodology with respect to its ability to predict software quality (measured in this report and in NUREG/GR-001 9 in terms of software reliability) and, to a lesser extent, its usability when applied to relatively simple applications. It should be noted that the current validation effort is limited in scope to assess the efficacy of the RePS methodology for predicting software quality of the application under study for one phase of software development life cycle. As such, the results indicate that additional effort on a full scope" software development project is warranted. The application under validation, Personnel entry/exit ACcess System (PACS), is a simplified version of an automated personnel entry access system through a gate to provide privileged physical access to rooms/buildings, etc. This system shares some attributes of a reactor protection system, such as functioning in real-time to produce a binary output based upon inputs from a relatively simple human-machine interface with an end user/operator. This research gives preliminary evidence that the rankings of software engineering measures in the form of RePSs can be used for assessing the quality of software in safety critical applications. The rankings are based on expert opinion, as described in NUREG/GR-0019. Further validation effort is planned and will include data from the entire software development life cycle of a larger scale software product, preferably a highly reliable application of requisite complexity to demonstrate the efficacy of the RePS methodology to predict software quality of nuclear safety-related systems.
منابع مشابه
NUREG/CR-7042 "A Large Scale Validation of a Methodology for Assessing Software Reliability"
.................................................................................................................................. iii FOREWORD .................................................................................................................................. v ACRONYMS ..................................................................................................................
متن کاملt-WISE-BASED MULTI-FAULT INJECTION TECHNIQUE FOR THE VERIFICATION OF SAFETY CRITICAL I&C SYSTEMS
One well-known method for the verification and certification of NPP I&C and other safety critical systems is the fault injection technique (FIT). FIT is based on a design fault injection and vulnerability injection into the software code and the field-programmable gate array (FPGA) design or a physical fault injection into hardware modules. The requirements for FIT for safety critical applicati...
متن کاملNUREG/CR-5378, "Aging Data Analysis and Risk Assessment Development and Demonstration Study."
This work develops and demonstrates a probabilistic risk assessment (PRA) approach to assess the effect of aging and degradation of active components on plant risk. The work (a) develops a way to identify and quantify age-dependent failure rates of active components, and to incorporate them into PRA; (b) demonstrates these tools by applying them to a fluid-mechanical system, using the key eleme...
متن کاملSoftware Metrics Validation Methodologies in Software Engineering
In the software measurement validations, assessing the validation of software metrics in software engineering is a very difficult task due to lack of theoretical methodology and empirical methodology [41, 44, 45]. During recent years, there have been a number of researchers addressing the issue of validating software metrics. At present, software metrics are validated theoretically using proper...
متن کاملNUREG/CR-6695 "Hydrologic Uncertainty Assessment For Decommissioning Sites: Hypothetical Test Case Applications" S102873
This report uses hypothetical decommissioning test cases to illustrate an uncertainty assessment methodology for dose assessments conducted as part of decommissioning analyses for NRC-licensed facilities. This methodology was pre sented previously in NUREG/CR-6656. The hypothetical test case source term and scenarios are based on an actual decommissioning case and the physical setting is based ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004